The Pre-proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007)

Proceedings of the 5 th International Workshop on Formal Methods for Interactive Systems ( FMIS 2013 ) Preface

Formal Methods for Interactive Systems F M I S 2 0 0 6 Formal Methods for Interactive Systems F M I S 2 0 0 6

Reducing the likelihood of human error in the use of interactive systems is increasingly important: the use of such systems is becoming widespread in applications that demand high reliability due to safety, security, financial or similar considerations. Consequently, the use of formal methods in verifying the correctness of interactive systems should also include analysis of human behaviour in ...

Proceedings of the Third International Workshop on Formal Methods for Interactive Systems ( FMIS 2009 ) Markov Abstractions for Probabilistic π - Calculus

This paper presents a range of approaches to the analysis and development of program specifications that have been expressed in a probabilistic process algebra. The approach explores Markovian processes as a high-level abstraction tool to reason about system specifications. The abstractions include ones to check the structure of specifications, analyze the long-term stability of the system, and...

EFL Teachers’ Identity Construction through a Reflection Consciousness-Raising Interactive Workshop

As part of a large-scale project, the current qualitative study investigated the possible contribution of a consciousness-raising interactive workshop (as a form of professional development activity) to 30) 22 female and 8 male) Iranian EFL teachers’ professional identity construction. Thirty Iranian EFL teachers were asked to write two reflective journals (one individually and one collectively...

Teaching communication skills and medical ethics to undergraduate medical student

Introduction: The purpose of this study was to improve communication skills and knowledge of bioethics of last year medical students doing clerkship and to evaluate the effectiveness of using workshops for this purpose from students’ point of view, in order to continue such programs in future. Methods: After Ethical approval for the study a two-day workshop on teaching effective communication s...